ramified hierarchy

См. также в других словарях:

• Ramified forcing — In mathematics, ramified forcing is the original form of forcing introduced by harvtxt|Cohen|1963. Ramified forcing starts with a model M of V = L, and builds up larger model M [ G ] of ZF by adding a generic subset G of a poset to M , by… …   Wikipedia

• Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …   Wikipedia

• Lenin, Vladimir Ilich — ▪ prime minister of Union of Soviet Socialist Republics Introduction original name  Vladimir Ilich Ulyanov  born April 10 [April 22, New Style], 1870, Simbirsk, Russia died Jan. 21, 1924, Gorki [later Gorki Leninskiye], near Moscow  founder of… …   Universalium

• types, theory of — Russell s own reaction to his paradox of the class of all classes that are not members of themselves (see Russell s paradox ) was to suggest that the definition is ill formed because it involves the illegitimate notion of ‘all classes’. If the… …   Philosophy dictionary

• Europe, history of — Introduction       history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… …   Universalium

• ECONOMIC HISTORY — This article is arranged according to the following outline: first temple period exile and restoration second temple period talmudic era muslim middle ages medieval christendom economic doctrines early modern period sephardim and ashkenazim… …   Encyclopedia of Judaism

• Islāmic world — Introduction  prehistory and history of the Islamic community.       Adherence to Islām is a global phenomenon: Muslims predominate in some 30 to 40 countries, from the Atlantic to the Pacific and along a belt that stretches across northern… …   Universalium

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Richard Boyd — (Ph.D. MIT 1970) is a philosopher who has spent most of his career at Cornell University, though he also taught briefly at Harvard University and the University of Michigan. He is well known in philosophy of science circles as a realist. His book …   Wikipedia

• Flow-based programming — In computer science, flow based programming (FBP) is a programming paradigm that defines applications as networks of black box processes, which exchange data across predefined connections by message passing. These black box processes can be… …   Wikipedia

• Sodality (Catholic Church) — A sodality, also known as a union of prayer or confraternity , is an older designation for a lay ecclesial movement or organization in the Roman Catholic Church. In many Christian religions, modality refers to the structure and organization of… …   Wikipedia